autogen.sh: use #!/bin/sh instead of #!/bin/bash

We don't have any bashisms in this file, so we may as well use sh.

https://bugzilla.gnome.org/show_bug.cgi?id=722342

diff --git a/autogen.sh b/autogen.sh
index f9c9e6b37e9fe9d4d09886048d066967039d13e3..89ba6f592e52ccf4315828073c4043f359c0c03e 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 # Run this to generate all the initial makefiles, etc.
 
 srcdir=`dirname $0`